Conditional Types
T extends U ? X : Yという構文
型定義の右辺に現れるextendsの話
関連
Tがunion型の時、分配して評価される
infer Rのこと
X, Yの部分は遅延評価される
X, Yの部分が、T, Uに依存している場合は、
T, Uが決定された後に、評価される
短絡評価というか、単純に先 ? 後 : 後の順で評価されるってだけでしょ？
遅延評価の定義をちゃんと知らないけど、「遅延評価だから~」というのを知らなくても直感的にわかるmrsekut.icon
型の世界での「遅延評価」を知らないから、「？？？」ってなってる気がするmrsekut.icon
conditional typesの応用例集